Buy Used and New Yuri Gurevich Books

Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings (Lecture Notes in Computer Science)

by Yuri Gurevich

ISBN 13: 9783540679592

Format: Paperback (396 pages)
Publisher: Springer
Published: 02 Oct 2000

Save for later

The Classical Decision Problem (Universitext)

by Egon Borger,Erich Gradel,Yuri Gurevich

ISBN 13: 9783540423249

Format: Paperback (496 pages)
Publisher: Springer Berlin Heidelberg
Published: 10 Oct 2008

Save for later